From: Keir Fraser <keir.fraser@citrix.com>
Date: Mon, 10 Aug 2009 12:33:01 +0000 (+0100)
Subject: x86: make mce debug output more verbose
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~13497
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=4d60f702956ce07813c072003f84cc79cc7da8c0;p=xen.git

x86: make mce debug output more verbose

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
---

diff --git a/xen/arch/x86/cpu/mcheck/mce.c b/xen/arch/x86/cpu/mcheck/mce.c
index 4e2c16a959..bfd4544357 100644
--- a/xen/arch/x86/cpu/mcheck/mce.c
+++ b/xen/arch/x86/cpu/mcheck/mce.c
@@ -798,8 +798,8 @@ int mce_wrmsr(u32 msr, u64 value)
     case MSR_IA32_MCG_CTL:
         if ( value && (value + 1) )
         {
-            gdprintk(XENLOG_WARNING, "MCE: value written to MCG_CTL "
-                     "should be all 0s or 1s\n");
+            gdprintk(XENLOG_WARNING, "MCE: value \"%"PRIx64"\" written "
+                     "to MCG_CTL should be all 0s or 1s\n", value);
             ret = -1;
             break;
         }